281. Swift data structure and algorithms :
پدیدآورنده: Erik Azar, Mario Eguiluz Alebicto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)
رده :
QA76
.
774
.
I67
282. Symbolic and Algebraic Computation :
پدیدآورنده: edited by Edward W. Ng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA155
.
7
.
E4
E358
1979
283. Symbolic projection for image information retrieval and spatial reasoning /
پدیدآورنده: Shi-Kuo Chang, Erland Jungert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Computer vision.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,Banques d'images-- Informatique.,Imagerie (Technique),Perception spatiale.,Systèmes spatiaux.,Traitement d'images.,Computer graphics.,Computer vision.,COMPUTERS-- Information Theory.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.
رده :
TA1632
.
C445
1996eb
284. Systems of Conservation Laws
پدیدآورنده: by Yuxi Zheng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematics.
285. Systems programming in Unix/Linux /
پدیدآورنده: K.C. Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
286. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده: J. Diaz, F. Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
287. Telecommunications :
پدیدآورنده: by Vince Coughlin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TK5101
.
B985
1984
288. Text, speech, and dialogue :
پدیدآورنده: Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38
289. The design and analysis of computer algorithms /
پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
290. The making of a new science :
پدیدآورنده: Giorgio Ausiello.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
291. Theoretical computer science :
پدیدآورنده: edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
292. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
293. Topics in theoretical computer science :
پدیدآورنده: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
294. Towards next generation grids :
پدیدآورنده: edited by Thierry Priol, Marco Vanneschi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.
رده :
QA76
.
9
.
C58
C675
2007eb
295. Trends in functional programming :
پدیدآورنده: Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
296. Trends in functional programming :
پدیدآورنده: edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
297. Uncertainty and intelligent information systems /
پدیدآورنده: editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
298. Unconventional computing :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Natural computation.,Artificial Intelligence.,Complex Systems.,Computational Biology/Bioinformatics.,Computational Intelligence.,Quantum Computing.,Theoretical and Computational Chemistry.,Computer science.,Natural computation.
رده :
QA76
299. Understanding and communicating social informatics :
پدیدآورنده: Rob Kling, Howard Rosenbaum, Steve Sawyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computers and civilization.,Computers and civilization.,COMPUTERS-- Information Technology.
رده :
QA76
.
9
.
C66
K54
2005eb
300. Understanding the nanotechnology revolution
پدیدآورنده: by Edward L. Wolf, Manasa Medikonda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Nanotechnology.
رده :
T174
.
7
B943
2012